Mathematical problem - PDFSEARCH.IO - Document Search Engine

Mathematical problem
Results: 2693

#	Item
531	Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods Jason Crampton Michael Huth Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Management Logic Model theory Linear temporal logic Temporal logic Workflow Satisfiability YAWL Boolean satisfiability problem Mathematical logic Workflow technology Theoretical computer science
532	Parametric Study of a Genetic Algorithm using a Aircraft Design Optimization Problem Andre C. Marta Dept. of Aeronautics and Astronautics Stanford University Stanford, California 94305 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:16 Science Evolutionary biology Cybernetics Evolutionary algorithms Mathematics Genetic algorithm Multidisciplinary design optimization Selection Crossover Genetic algorithms Mathematical optimization Applied mathematics
533	Book Reviews The Golden Ticket: P, NP, and the Search for the Impossible Lance Fortnow Princeton University Press, 2013, 192 pp ISBN1 Add to Reading List Source URL: www.asiapacific-mathnews.com Language: English - Date: 2014-02-27 03:55:07 Complexity classes NP-complete problems Mathematical optimization NP-complete Computational problems P versus NP problem NP Decision problem Clique problem Theoretical computer science Computational complexity theory Applied mathematics
534	CCCG 2013, Waterloo, Ontario, August 8–10, 2013 On the Rectangle Escape Problem Sepehr Assadi∗ Ehsan Emamjomeh-Zadeh∗ Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2013-08-11 21:51:59 Operations research Algorithm Mathematical logic Theoretical computer science Bin Rectangle Approximation algorithm Linear programming Integral Mathematics Geometry Applied mathematics
535	Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Mathematics Constraint satisfaction Local consistency Constraint optimization Mathematical optimization Polynomial Function Boolean satisfiability problem AC-3 algorithm Constraint programming Software engineering Theoretical computer science
536	Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2 Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2014-07-05 17:14:07 Electronic design automation Formal methods Logic in computer science NP-complete problems Mathematical optimization Boolean satisfiability problem Mutation Genetic programming Solver Theoretical computer science Applied mathematics Mathematics
537	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
538	Soliton Equation – Box-Ball System – Integrable Lattice Models Tetsuji Tokihiro Graduate School of Mathematical Sciences, University of Tokyo, 3-8-1 Komaba, Meguro-ku, Tokyo153-8914, JAPAN December 2000 Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2003-10-08 02:41:28 Solitons Partial differential equations Quasiparticles Lattice model Inverse problem Kadomtsev–Petviashvili equation Calculus Physics Multivariable calculus
539	Revisiting Elitism in Ant Colony Optimization Tony White, Simon Kaegi, Terri Oda School of Computer Science, Carleton University 1125 Colonel By Drive, Ottawa, Ontario, Canada K1S 5B6 , skaegi@sym Add to Reading List Source URL: terri.zone12.com Language: English - Date: 2007-07-05 20:33:39 Theoretical computer science Ant colony optimization algorithms Stochastic optimization Travelling salesman problem Ant Swarm behaviour Mathematical optimization Algorithm Lin–Kernighan heuristic Mathematics Applied mathematics Operations research
540	CCCG 2003, Halifax, Nova Scotia, August 11–13, 2003 On Shortest Paths in Line Arrangements T. Kavitha∗ Abstract Add to Reading List Source URL: www.cccg.ca Language: English - Date: 2004-01-08 18:44:30 Discrete geometry Euclidean plane geometry Shortest path problem Mathematical optimization Mathematics Theoretical computer science Arrangement of lines

UPDATE